More make-dist simplification.
authorGlenn Morris <rgm@gnu.org>
Wed, 13 Oct 2010 03:08:45 +0000 (20:08 -0700)
committerGlenn Morris <rgm@gnu.org>
Wed, 13 Oct 2010 03:08:45 +0000 (20:08 -0700)
commit882010ef1eaac7c2d643f4f421ddb5998319a476
tree2a3fe8b00773ab86da118739fc71549bb42f8d92
parentcc01504a3930c488780e112a86e428a47322e965
More make-dist simplification.

* make-dist: Remove --compress.  Check for the appropriate
gzip-like executable, and if not found, don't compress.
Check version number in README, don't change it.
Use find for nt/inc/*.h.
ChangeLog
make-dist